- modal stand
- Лесоводство: модальное насаждение
Универсальный англо-русский словарь. Академик.ру. 2011.
Универсальный англо-русский словарь. Академик.ру. 2011.
Modal analysis — is the study of the dynamic properties of structures under vibrational excitation. Modal analysis is the field of measuring and analysing the dynamic response of structures and or fluids when excited by an input. Examples would include measuring… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Accessibility relation — An accessibility relation is a binary relation R,! between possible worlds which has very powerful uses in both the formal/theoretical aspects of modal logic as well as in its applications to things like epistemology, metaphysics, and value… … Wikipedia
HEBREW LANGUAGE — This entry is arranged according to the following scheme: pre biblical biblical the dead sea scrolls mishnaic medieval modern period A detailed table of contents precedes each section. PRE BIBLICAL nature of the evidence the sources phonology… … Encyclopedia of Judaism
Interior algebra — In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and… … Wikipedia
Schienenverkehr in Brasilien — Das Eisenbahnnetz in Brasilien umfasste in seiner längsten Ausdehnung 30.374 Kilometer. Der Bau der Strecken fand in verschiedenen Perioden statt, ein Grund dafür, dass eine Vereinheitlichung der Spurweite nicht stattfand. So gibt es auch heute… … Deutsch Wikipedia
History of logic — Philosophy ( … Wikipedia
Simulism — [The term in the usage in which it appears here seems to have been coined by [http://www.jansch.nl/tag/simulism/ Ivo Jansch] in September 2006. His [http://www.simulism.org Simulism Wiki] is an exploration of Simulism, which invites contributions … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia